81. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
84. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
85. Bibliography of mathematical logic
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R
86. Bifurcations and Periodic Orbits of Vector Fields
پدیدآورنده : edited by Dana Schlomiuk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Functions of complex variables.,Mathematics.
رده :
QA614
.
8
E358
1993
87. Bounded arithmetic /
پدیدآورنده : Samuel R. Buss
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Constructive mathematics
رده :
QA9
.
56
.
B87
1986
88. Bounded arithmetic
پدیدآورنده : Buss, Samuel R.
کتابخانه: (طهران)
موضوع : ، Constructive mathematics,، Computational complexity
رده :
QA
9
.
56
.
B87
1986
89. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : / Jan Krajicek
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Constructive mathematics.,Proposition (Logic),Computational complexity.
رده :
QA
,
9
.
56
,.
K73
,
1995
90. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : Krajicek, Jan
کتابخانه: (طهران)
موضوع : ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
91. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
92. CAD/CAM in Practice :
پدیدآورنده : by A.J. Medland, Piers Burnett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
93. Callege mathematics integral analysis
پدیدآورنده : S.U. Kamat, V.D. Deshpande,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Calculus,Constructive mathematics
رده :
QA
.
K3
303
1980
94. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
95. Classical and Modern Potential Theory and Applications
پدیدآورنده : edited by K. GowriSankaran, J. Bliedtner, D. Feyel, M. Goldstein, W.K. Hayman, I. Netuka.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations, Partial.,Global analysis (Mathematics),Mathematics.
رده :
QA404
.
7
E358
1994
96. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: (طهران)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
97. Combinatorial and global optimization /
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
رده :
QA402
.
5
.
C5435
2002eb
98. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
99. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
100. Commutative Algebra
پدیدآورنده : by David Eisenbud.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry, Algebraic.,Mathematics.
